load("//bazel:tachyon_cc.bzl", "tachyon_cc_library")

package(default_visibility = ["//visibility:public"])

filegroup(
    name = "zk_hdrs",
    srcs = [
        "//tachyon/c/zk/air:air_hdrs",
        "//tachyon/c/zk/base:base_hdrs",
        "//tachyon/c/zk/plonk:plonk_hdrs",
    ],
)

tachyon_cc_library(
    name = "zk",
    deps = [
        "//tachyon/c/zk/air",
        "//tachyon/c/zk/base",
        "//tachyon/c/zk/plonk",
    ],
)
